Contracts for Interacting Two-Party Systems
نویسندگان
چکیده
This article deals with the interrelation of deontic operators in contracts – an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract conflict that is enriched with issues arising from party interdependence.
منابع مشابه
Types of Rights in Interacting Two-Party Systems: A Formal Analysis
We present a formalization of Kanger’s types of rights in the context of interacting two-party systems, such as contracts. We show that in this setting basic rights such as claim, freedom, power and immunity can be expressed in terms of (possibly negated) permissions and obligations over presence or absense of actions, and that the set of atomic type rights is different from Kanger’s original p...
متن کاملTypes of Rights in Two-Party Systems: A Formal Analysis
We present a formalization of Kanger’s types of rights in the context of interacting two-party systems, such as contracts. We show that in this setting basic rights such as claim, freedom, power and immunity can be expressed in terms of (possibly negated) permissions and obligations over presence or absense of actions. Another way of saying this is that, at least in the context of contracts, ne...
متن کاملبررسی جنبههای حقوقی قرارداد مشارکت در تولید دارو
Collaboration in drug delivery is a project by which a pharmecutical product is delivered through the cooperation of two or more legal persons. In this cooperation, a party contributes to the project with know-how and formula of a medicine and the other party provides site, necessary fund and equepments. Success in such a project requires a legal agreement entitled collaboration contracts in dr...
متن کاملO-14: General Governing Rules of ART Contracts Involving Third Parties
Background: ART contracts involving third parties have been created while clinical reproductive treatments are globally widespread. Iran is pioneer in applying these treatments in middle-east due to shii’at jurisprudence prescribing them. This key role in region, has raised Iranian jurists’ responsibility in developing a legal system regarding administration of ART. The most significant part of...
متن کاملContracts in distributed systems
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happen...
متن کامل